Skip to content

chore(deps): pin python to ==3.13.14#502

Closed
renovate[bot] wants to merge 1 commit into
mainfrom
renovate/pin-dependencies
Closed

chore(deps): pin python to ==3.13.14#502
renovate[bot] wants to merge 1 commit into
mainfrom
renovate/pin-dependencies

Conversation

@renovate

@renovate renovate Bot commented Jul 19, 2026

Copy link
Copy Markdown
Contributor

This PR contains the following updates:

Package Type Update Change
python (source) requires-python pin ==3.13.*==3.13.14

Add the preset :preserveSemverRanges to your config if you don't want to pin your dependencies.


Configuration

📅 Schedule: (in timezone Asia/Tokyo)

  • Branch creation
    • "before 9am on monday"
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@github-actions github-actions Bot added chore 雑務・保守作業 backend バックエンド labels Jul 19, 2026
@renovate
renovate Bot force-pushed the renovate/pin-dependencies branch from dcd83e1 to 9198a85 Compare July 19, 2026 23:45
@yusuke0610

Copy link
Copy Markdown
Owner

requires-python を ==3.13.14 に固定すると ADR-0021 の uv2nix が提供する CPython のパッチ版と等値比較が合わず、backend ビルドの assertion で落ちます(==3.13.* のレンジが正)。Nix 管理下ではパッチ固定しない方針のため close します。

@yusuke0610 yusuke0610 closed this Jul 19, 2026
@yusuke0610
yusuke0610 deleted the renovate/pin-dependencies branch July 19, 2026 23:46
@renovate

renovate Bot commented Jul 19, 2026

Copy link
Copy Markdown
Contributor Author

Renovate Ignore Notification

Because you closed this PR without merging, Renovate will ignore this update (==3.13.14). You will get a PR once a newer version is released. To ignore this dependency forever, add it to the ignoreDeps array of your Renovate config.

If you accidentally closed this PR, or if you changed your mind: rename this PR to get a fresh replacement PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backend バックエンド chore 雑務・保守作業 dependencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant